FPGA-Based Digital filters using Bit-Serial arithmetic

This paper presents an efficient method for implementation of digital filters targeted FPGA architectures. The traditional approach is based on application of general purpose multipliers. However, multipliers implemented in FPGA architectures do not allow to construct economic Digital Filters. For this reason, multipliers are replaced by Lookup Tables and Adder-Substractor, which use Bit-Serial Arithmetic. Lookup Tables can be of considerable size in high order filters, thus interconnection techniques will be used to construct high order filters from a set of low order filters. The paper presents several examples confirming that these techniques allow a reduction in logic cells utilization of filters implementation based on Bit-Serial Arithmetic concept.II Workshop de Arquitecturas, Redes y Sistemas OperativosRed de Universidades con Carreras en Informática (RedUNCI

FPGA-Based Digital filters using Bit-Serial arithmetic

This paper presents an efficient method for implementation of digital filters targeted FPGA architectures. The traditional approach is based on application of general purpose multipliers. However, multipliers implemented in FPGA architectures do not allow to construct economic Digital Filters. For this reason, multipliers are replaced by Lookup Tables and Adder-Substractor, which use Bit-Serial Arithmetic. Lookup Tables can be of considerable size in high order filters, thus interconnection techniques will be used to construct high order filters from a set of low order filters. The paper presents several examples confirming that these techniques allow a reduction in logic cells utilization of filters implementation based on Bit-Serial Arithmetic concept.II Workshop de Arquitecturas, Redes y Sistemas OperativosRed de Universidades con Carreras en Informática (RedUNCI

Diseño y generación automática de filtros digitales orientados a FPGAs

Los filtros digitales se han convertido en una de las herramientas más utilizadas dentro del Procesamiento Digital de Señales. En los últimos tiempos se han apoyado para su implementación en dispositivos lógicos programables tales como las FPGAs, debido a las ventajas que estos dispositivos ofrecen. En el presente artículo, se propone un método de construcción de filtros digitales orientados a estos dispositivos, con el objetivo de reducir la cantidad de celdas lógicas utilizadas en los mismos. Además se presenta una herramienta de software, la cual permite obtener especificaciones en VHDL automáticamente a partir de características introducidas por el usuario, y que luego pueden ser sintetizadas de manera directa mediante las herramientas de síntesis actuales.Presentado en el Congreso GeneralRed de Universidades con Carreras en Informática (RedUNCI

FPGA-Based Digital filters using Bit-Serial arithmetic

This paper presents an efficient method for implementation of digital filters targeted FPGA architectures. The traditional approach is based on application of general purpose multipliers. However, multipliers implemented in FPGA architectures do not allow to construct economic Digital Filters. For this reason, multipliers are replaced by Lookup Tables and Adder-Substractor, which use Bit-Serial Arithmetic. Lookup Tables can be of considerable size in high order filters, thus interconnection techniques will be used to construct high order filters from a set of low order filters. The paper presents several examples confirming that these techniques allow a reduction in logic cells utilization of filters implementation based on Bit-Serial Arithmetic concept.II Workshop de Arquitecturas, Redes y Sistemas OperativosRed de Universidades con Carreras en Informática (RedUNCI

Diseño y generación automática de filtros digitales orientados a FPGAs

Los filtros digitales se han convertido en una de las herramientas más utilizadas dentro del Procesamiento Digital de Señales. En los últimos tiempos se han apoyado para su implementación en dispositivos lógicos programables tales como las FPGAs, debido a las ventajas que estos dispositivos ofrecen. En el presente artículo, se propone un método de construcción de filtros digitales orientados a estos dispositivos, con el objetivo de reducir la cantidad de celdas lógicas utilizadas en los mismos. Además se presenta una herramienta de software, la cual permite obtener especificaciones en VHDL automáticamente a partir de características introducidas por el usuario, y que luego pueden ser sintetizadas de manera directa mediante las herramientas de síntesis actuales.Presentado en el Congreso GeneralRed de Universidades con Carreras en Informática (RedUNCI

The Existential Fragment of Third Order Logic and Third Order Relational Machines

We introduce a new sub logic of third order logic (TO), the logic TOϖ, as a semantic restriction of TO. We focus on the existential fragment of TOϖ which we denote Σ²ϖ , and we study its relational complexity by introducing a variation of the non deterministic relational machine, which we denote 3-NRM, where we allow third order relations in the relational store of the machine.We then prove that Σ²ϖ characterizes exactly NEXPTIME3,rV Workshop Aspectos teóricos de las Ciencias de la ComputaciónRed de Universidades con Carreras de Informática (RedUNCI

Finite Dimension: A Mathematical Tool to Analise Glycans

There is a need to develop widely applicable tools to understand glycan organization, diversity and structure. We present a graph-theoretical study of a large sample of glycans in terms of finite dimension, a new metric which is an adaptation to finite sets of the classical Hausdorff "fractal" dimension. Every glycan in the sample is encoded, via finite dimension, as a point of Glycan Space, a new notion introduced in this paper. Two major outcomes were found: (a) the existence of universal bounds that restrict the universe of possible glycans and show, for instance, that the graphs of glycans are a very special type of chemical graph, and (b) how Glycan Space is related to biological domains associated to the analysed glycans. In addition, we discuss briefly how this encoding may help to improve search in glycan databases.Fil: Alonso, Juan Manuel. Universidad Nacional de Cuyo; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Luis. Instituto de Matemática Aplicada de San Luis "Prof. Ezio Marchi". Universidad Nacional de San Luis. Facultad de Ciencias Físico, Matemáticas y Naturales. Instituto de Matemática Aplicada de San Luis "Prof. Ezio Marchi"; ArgentinaFil: Arroyuelo, Agustina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Luis. Instituto de Matemática Aplicada de San Luis "Prof. Ezio Marchi". Universidad Nacional de San Luis. Facultad de Ciencias Físico, Matemáticas y Naturales. Instituto de Matemática Aplicada de San Luis "Prof. Ezio Marchi"; ArgentinaFil: Garay, Pablo Germán. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Luis. Instituto de Matemática Aplicada de San Luis "Prof. Ezio Marchi". Universidad Nacional de San Luis. Facultad de Ciencias Físico, Matemáticas y Naturales. Instituto de Matemática Aplicada de San Luis "Prof. Ezio Marchi"; ArgentinaFil: Martín, Osvaldo Antonio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Luis. Instituto de Matemática Aplicada de San Luis "Prof. Ezio Marchi". Universidad Nacional de San Luis. Facultad de Ciencias Físico, Matemáticas y Naturales. Instituto de Matemática Aplicada de San Luis "Prof. Ezio Marchi"; ArgentinaFil: Vila, Jorge Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Luis. Instituto de Matemática Aplicada de San Luis "Prof. Ezio Marchi". Universidad Nacional de San Luis. Facultad de Ciencias Físico, Matemáticas y Naturales. Instituto de Matemática Aplicada de San Luis "Prof. Ezio Marchi"; Argentin

The Existential Fragment of Third Order Logic and Third Order Relational Machines

We introduce a new sub logic of third order logic (TO), the logic TOϖ, as a semantic restriction of TO. We focus on the existential fragment of TOϖ which we denote Σ²ϖ , and we study its relational complexity by introducing a variation of the non deterministic relational machine, which we denote 3-NRM, where we allow third order relations in the relational store of the machine.We then prove that Σ²ϖ characterizes exactly NEXPTIME3,rV Workshop Aspectos teóricos de las Ciencias de la ComputaciónRed de Universidades con Carreras de Informática (RedUNCI

Indexación y consultas para bases de datos no convencionales

La constante aparición de datos en forma digital de diferentes tipos y tamaños ha dado lugar a la aparición de depósitos no estructurados de información, Bases de Datos Multimedia, donde se consultan nuevos tipos de datos (texto libre, imágenes, audio, vídeo, etc.). Esto requiere un modelo más general tal como las Bases de Datos M´etricas, que además alcance un nivel de madurez similar al de las bases de datos tradicionales. Por otro lado, la creciente cantidad de estos datos exige dispositivos de almacenamiento capaces de mantenerlos y de proveer un acceso eficiente a los mismos. Dado que la brecha entre los tiempos de CPU y los de I/O se ha mantenido creciente, se hace necesario considerar memorias con mayor capacidad y más rápidas. Este panorama ha promovido la aparición estructuras de datos especializadas que tienen en cuenta estas arquitecturas como las Estructuras de datos compactas y las Estructuras de datos con I/O eficiente. Nuestra investigación apunta a contribuir a la madurez de estas nuevas bases de datos.Eje: Bases de datos y minería de datosRed de Universidades con Carreras en Informática (RedUNCI

Consultas sobre bases de datos no convencionales

Gracias a los avances en el ámbito computacional la cantidad de información que nuestra sociedad produce y almacena crece exponencialmente día a día. Los diferentes tipos y tamaños de datos provenientes de diversas fuentes como transacciones financieras, revistas, fotografías, etc., han dado lugar a la aparición de depósitos no estructurados de información, Bases de Datos no Convencionales, donde se consultan nuevos tipos de datos (texto libre, imágenes, audio, vídeo, etc.). Estos grandes volúmenes de información representan un desafío y exigen dispositivos de almacenamiento capaces de mantenerlos y de proveer un acceso eficiente y efectivo a los mismos. Este escenario requiere un modelo más general tal como las Bases de Datos Métricas, con un nivel de madurez similar al de las bases de datos tradicionales. La amplia brecha entre los tiempos de CPU y los de I/O hace necesario considerar memorias con mayor capacidad y más rápidas, lo que ha promovido la aparición estructuras de datos especializadas que tienen en cuenta estas arquitecturas como las estructuras de datos compactas y las estructuras de datos con I/O eficiente. Nuestra investigación apunta a contribuir a la madurez de estas nuevas bases de datos.Eje: Base de datos y Minería de datosRed de Universidades con Carreras en Informática (RedUNCI